The Fixed-point Theorems of Priess-crampe and Ribenboim in Logic Programming
نویسندگان
چکیده
Sibylla Priess-Crampe and Paulo Ribenboim recently established a general xed-point theorem for multivalued mappings deened on generalized ultrametric spaces, and introduced it to the area of logic programming semantics. We discuss, in this context, the applications which have been made so far of this theorem and of its corollaries. In particular, we will relate these results to Scott-Ershov domains, familiar in programming language semantics, and to the generalized metrics of Khamsi, Kreinovich and Misane which have been applied, by these latter authors, to logic programming. Amongst other things, we will also show that a uniied treatment of the xed-point theory of wide classes of programs can be given by means of the theorems of Priess-Crampe and Ribenboim.
منابع مشابه
The Fixed - Point Theorems of
Sibylla Priess-Crampe and Paulo Ribenboim recently established a general xed-point theorem for multivalued mappings deened on generalized ultrametric spaces, and introduced it to the area of logic programming semantics. We discuss, in this context, the applications which have been made so far of this theorem and of its corollaries. In particular, we will relate these results to Scott-Ershov dom...
متن کاملThe Fixed-Point Theory of Strictly Contracting Functions on Generalized Ultrametric Semilattices
We introduce a new class of abstract structures, which we call generalized ultrametric semilattices, and in which the meet operation of the semilattice coexists with a generalized distance function in a tightly coordinated way. We prove a constructive fixed-point theorem for strictly contracting functions on directed-complete generalized ultrametric semilattices, and introduce a corresponding i...
متن کاملUltrametric Dynamics
This paper is concerned with dynamics in general ultrametric spaces. We prove the Fixed Point Theorem, the Stability Theorem, the Common Point Theorem, the Local Fixed Point Theorem, the Attractor Theorem and we derive conditions for a mapping to be surjective. We also discuss tightly continuous mappings and prove a theorem about the transfer of the property of principal completeness by a mappi...
متن کاملA New Fixed - Point Theorem for Logic
We present a new xed-point theorem akin to the Banach contraction mapping theorem, but in the context of a novel notion of generalized metric space, and show how it can be applied to analyse the denotational semantics of certain logic programs. The theorem is obtained by generalizing a theorem of Priess-Crampe and Ribenboim, which grew out of applications within valuation theory, but is also in...
متن کامل